davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
Hypercubical manifolds in homotopy type theory
arxiv.org·11h
🔶Cubical Type Theory
Counting with Categories (Part 3)
golem.ph.utexas.edu·23h
λLambda Formalization
Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.ch·6h
🗃️Database Storage
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·1h
📊Graph Databases
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·12h·
Discuss: Hacker News
📲Digitization
Nedials, Nedians, and some related triangles and some properties
pballew.blogspot.com·9h·
Discuss: www.blogger.com
📊Computational Geometry
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
derived set
ncatlab.org·12m
🧮Algebraic Archives
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·1h·
Discuss: DEV
🧠Machine Learning
Travels, 10
cameroncounts.wordpress.com·13m
🎯Performance Proofs
Text2Struct: A Machine Learning Pipeline for Mining Structured Data from Text
arxiv.org·1d
🔤Character Classification
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·18h
🔄Burrows-Wheeler
From Drawings to Decisions: A Hybrid Vision-Language Framework for Parsing 2D Engineering Drawings into Structured Manufacturing Knowledge
arxiv.org·1d
⟷Bidirectional Programming
The Guide to the Foundation Models Framework
azamsharp.com·1h·
Discuss: Hacker News
λLambda Formalization
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Unfolding the Past: A Comprehensive Deep Learning Approach to Analyzing Incunabula Pages
arxiv.org·1d
🤖Manuscript AI